COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00004 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CSept 25,1974







Dr. Herbert Egli
Department of Computer Science
Cornell University
Ithaca, New York 14850



Dear Dr. Egli:

\JI have just been reading your technical report, "Programming
Language Semantics Using  Extensional λ-calculus Models", and have found
it quite interesting. I have recently been pursuing similar lines, developing
an extension to LISP. It seems clear that careful semantics must
be an integral part of language design, rather than applied as a bandage to the
bleeding patient.

In any case, I would be grateful if I could receive  TR#73-191, "An Analysis of
Scott's λ-calculus Models", 
and any of your subsequent documents which you think relevant. Perhaps
if you have a mailing list I could also become a member. In return, 
if there are AI Memos or underground papers which might interest you I could reciprocate.\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Labs

\←S\→L